A finite integral domain is a field.